$ns: 'hi' !default;
